Update comment in configure.in
authorGlenn Morris <rgm@gnu.org>
Tue, 1 May 2012 00:34:56 +0000 (20:34 -0400)
committerGlenn Morris <rgm@gnu.org>
Tue, 1 May 2012 00:34:56 +0000 (20:34 -0400)
commitda73db3fc49a53e6eb64d0a7a364bea00d687eaa
tree9c8789a3f738c01821b2c32dbc74b7f69d608eb6
parent8f537dd4a1f32cb33435a52cd272413d909b8afc
Update comment in configure.in
configure.in